Explicit Substitions and All That
نویسندگان
چکیده
Explicit substitution calculi are extensions of the -calculus where the substitution mechanism is internalized into the theory. This feature makes them suitable for implementation and theoretical study of logic based tools as strongly typed programming languages and proof assistant systems. In this paper we explore new developments on two of the most successful styles of explicit substitution calculi: the and se-calculi.
منابع مشابه
L2 Teachers’ Explicit and Implicit Corrective Feedback and Its Linguistic Focus
Various studies have confirmed the influential role of corrective feedback (CF) in the development of different linguistic skills and components. However, little, if any, research has been conducted on comparing types of linguistic errors treated by teachers through CF. To bridge this gap, this study sought to investigate the linguistic errors addressed and the types of CF provided by teachers....
متن کاملThe Impact of Explicit and Implicit Recasts on the Grammatical Accuracy of Iranian EFL Learners’ Writing Performance
The present study aimed at investigating the effects of explicit and implicit recasts on Iranian EFL learners' acquisition of English relative clauses. For this purpose, 64 participants were selected out of 94 intermediate level EFL learners at Falagh language Institute, Rasht, Iran. To have homogenized groups, the researcher administered a language proficiency test (TOEFL). Then, the researche...
متن کاملThe Impact of Explicit Instruction of Metadiscourse Markers on EFL Learners' Writing Performance
The current study is an attempt to investigate the impact of explicit instruction of metadiscourse markers on advanced, intermediate, and elementary EFL learners’ writing performance. The participants of the study were 94 undergraduate students majoring in English Literature at the University of Isfahan. To elicit the relevant data, participants were given a pretest of writing ability to check ...
متن کاملStudy of Explicit Knowledge Effects on Implicit Motor Learning in Older Adults
Objective: The motor skill performance and learning in older adults are of a great importance. The primary purpose of this study was to determine whether older adult’s explicit knowledge effect on implicit learning and motor performance and which are typical for rehabilitation and skills acquired in older adults. Materials & Methods: In this comparative study a serial reaction time task by u...
متن کاملEffect of Oral Corrective Feedback on Iranian EFL Learners’ Phonological Uptake and Retention
This study investigates the effect of four types of oral corrective feedback, namely, explicit elicitation, implicit elicitation, explicit recast and implicit recast on the most commonly mispronounced phonological features among Iranian EFL learners through immediate uptake and retention. Five classes were randomly categorized into four experimental groups and one control group, each with 18 in...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Revista Colombiana de Computación
دوره 1 شماره
صفحات -
تاریخ انتشار 2000